Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

Thanks for looking into this, and sorry for the slow review!

However, I don't think this logic is correct. Once you set tail_call_span, it will never be unset, so it becomes the deallocation span of all allocations henceforth. That's clearly wrong. And this will be hard to fix since you really only want to affect the deallocations that happen while the TailCall terminator is executed, not anything that happens after.

I think this will require work in the core interpreter. Here on the Miri side, the best we can do are hard-to-get-right and, worse, hard-to-maintain hacks.

@rustbot author

Reminder, once the PR becomes ready for a review, use @rustbot ready.